例句與造句

1. Forcing, for example, is often explained in terms of countable models.
2. Countable models of ZF have become common tools in the study of set theory.
3. More specifically, let " B " be a countable model of Zermelo's axioms.
4. Further, \ aleph _ 0-categorical theories and their countable models have strong ties with oligomorphic groups.
5. The Skolem L鰓enheim theorem says that every infinite model is equivalent to a countable model ( in model theory ).
6. It's difficult to find countable model in a sentence. 用countable model造句挺難的
7. The first-order theory of true arithmetic has just one countable model, but its axioms are not recursively enumerable.
8. The theory of random graphs is ? categorical, complete, and decidable, and its countable model is called the Rado graph.
9. For example, if the Continuum Hypothesis holds then every countable model has an ultrapower which is saturated ( in its own cardinality ).
10. A trivial consequence of the continuum hypothesis is that a complete theory with less than continuum many nonisomorphic countable models can have only countably many.
11. He also objected strongly to the philosophical implications of countable models of set theory, which followed from Skolem's first-order axiomatization.
12. The number of countable models of a countable superstable theory must be 1, 5 ! 0, 5 ! 1, or 2 ?.
13. In particular, this implies that if the first order versions of Zermelo's axioms of set theory are satisfiable, they are satisfiable in some countable model.
14. Hamkins proved that any two countable models of set theory are comparable by embeddability, and in particular that every countable model of set theory embeds into its own constructible universe.
15. Hamkins proved that any two countable models of set theory are comparable by embeddability, and in particular that every countable model of set theory embeds into its own constructible universe.
16. Leon Henkin's alternative proof of the completeness theorem, which is now a standard technique for constructing countable models of a consistent first-order theory, was not presented until 1947.
更多例句：  下一頁